Towards a Framework for the Distributed Simulation of Asynchronous Hardware
نویسنده
چکیده
Synchronous VLSI design is approaching a critical point, with clock distribution becoming an increasingly costly and complicated issue and power consumption rapidly emerging as a major concern. The last decade has witnessed a resurgence of interest in asynchronous logic which promises to liberate digital design from the inherent problems of synchronous systems. This activity has revealed a need for modelling and simulation techniques suitable for the asynchronous design style. The concurrent process algebra Communicating Sequential Processes (CSP) is particularly suitable for the specification of asynchronous systems. This paper discusses a framework for the distributed simulation of asynchronous hardware, adopting Balsa, a CSP-like notation, as a hardware description language.
منابع مشابه
Asynchronous Distributed Estimation of Topic Models for Document Analysis
Given the prevalence of large data sets and the availability of inexpensive parallel computing hardware, there is significant motivation to explore distributed implementations of statistical learning algorithms. In this paper, we present a distributed learning framework for Latent Dirichlet Allocation (LDA), a well-known Bayesian latent variable model for sparse matrices of count data. In the p...
متن کاملDALD:-Distributed-Asynchronous-Local-Decontamination Algorithm in Arbitrary Graphs
Network environments always can be invaded by intruder agents. In networks where nodes are performing some computations, intruder agents might contaminate some nodes. Therefore, problem of decontaminating a network infected by intruder agents is one of the major problems in these networks. In this paper, we present a distributed asynchronous local algorithm for decontaminating a network. In mos...
متن کاملData Collection for Mobile Group Consumption: An Asynchronous Distributed Approach
Mobile group consumption refers to consumption by a group of people, such as a couple, a family, colleagues and friends, based on mobile communications. It differs from consumption only involving individuals, because of the complex relations among group members. Existing data collection systems for mobile group consumption are centralized, which has the disadvantages of being a performance bott...
متن کاملTowards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware
Formal verification is increasingly important in asynchronous circuit design, since the lack of a global synchronizing clock makes errors due to concurrency (e.g., deadlocks) virtually impossible to detect by means of conventional methods such as simulation. This paper presents a hierarchical approach to asynchronous systems verification using CSP and its model checker FDR. The approach reflect...
متن کاملA Distributed Framework Design for Formation Control of Under-actuated USVs in the Presence of Environmental Disturbances Using Terminal Sliding Mode Control
This paper proposes a distributed framework for formation control of USVs around a predefined target. This framework, according to the mission and problem conditions, includes three parts: determination of a desired path for each USV, preventing USVs entry to the target area and tracking the desired path of USVs under environmental disturbances. In the first part, a distributed approach is prop...
متن کامل